PDF with introduction and front and back materials. Abstract: A provocative examination of the consequences of Levinas’s and Adorno’s thought for contemporary ethics and political philosophy. This book unfolds a dialogue between Emmanuel Levinas and Theodor W. Adorno, using their thought to address contemporary environmental and social-political situations. Eric S. Nelson explores the “non-identity thinking” of Adorno and the “ethics of the Other” of Levinas with regard to three areas of concern: the ethical position of nature and “inhuman” material others (...) such as environments and animals; the bonds and tensions between ethics and religion and the formation of the self through the dynamic of violence and liberation expressed in religious discourses; and the problematic uses and limitations of liberal and republican discourses of equality, liberty, tolerance, and their presupposition of the private individual self and autonomous subject. Thinking with and beyond Levinas and Adorno, this work examines the possibility of an anarchic hospitality and solidarity between material others and sensuous embodied life. -/- “This is an extremely impressive, original, and thorough treatment of two key twentieth-century thinkers and their applicability to the most pressing social and political issues of our time.” — Jeffrey A. Bernstein, author of Leo Strauss on the Borders of Judaism, Philosophy, and History -/- “This book is an excellent and timely contribution to political and environmental philosophy, located around a nuanced historical and philosophical approach to Levinas and Adorno. It will be of great interest to anyone concerned with these figures or with the current moment.” — Martin Shuster, author of Autonomy after Auschwitz: Adorno, German Idealism, and Modernity. (shrink)

Pocos otros temas despiertan más polémicas que el de los vínculos entre filosofía y política: que quienes se dedican a la filosofía no deben verse influenciados por la política, que si a la política le corresponde ser auxiliada por la filosofía, que si el saber filosófico tiene que desligarse de las posiciones políticas, que si a las instituciones académicas de las humanidades les conviene independizarse del poder de turno, etc. Todas estas son discusiones que heredamos (no sin reformularlas y, por (...) lo tanto, retransformarlas) desde la Antigüedad, en la que ya aparecería, de la mano de Platón, la figura del rey filósofo. Este libro reúne una variedad de abordajes que atraviesan debates sobre juicios de hecho y de valor, sobre la democra-cia como forma de gobierno y sobre la intervención de la historia en el vínculo de la filosofía y la política. Recuperando el pensamiento antiguo y moderno, pero concentrándose en la obra de intelectuales contemporáneos, los autores ponen en movimiento dilucidaciones de grandes como Max Weber, Jacques Rancière, Louis Althusser, Philippe Lacoue-Labarthe y Leo Strauss, entre otros. Así, ofrecen aquí un vívido panorama de las controversias que habitan los entrecruzamientos entre filosofía y política, coronando el volumen con la traducción de un texto de Claude Lefort, hasta el momento inédito en español. (shrink)

This paper uses an extended discussion of Nietzsche’s essay “The Greek State” to uncover the political aspects of his early thinking. The paper builds on a similar discussion of another essay from the same period, “Homer on Competition,” in arguing that Nietzsche’s thinking is based on a confrontation with the work of Plato. It is argued that the key to understanding “The Greek State” is seeing it, in its entirety, as an enigmatic interpretation and re-writing of Plato’s Republic. Nietzsche interprets (...) the Republic as Plato’s accomplishment of the task of the genuine philosopher: the legislation of values and the moulding of human character. (shrink)

The paper is a close reading of Nietzsche's early essay, "Homer on Competition". It explores the understanding of nature as strife presented in that essay, how this strife channels itself into cultural or state forms, and how these forms cultivate the creative individual or genius. The article concludes by asserting that Nietzsche's central point in "Homer on Competition" concerns the contest across the ages that is fought by these geniuses. For Nietzsche, therefore, competition has a political significance — the forging (...) of the unity and identity of a particular community — and a transpolitical significance — the forging of a "republic of geniuses" on the part of artists and philosophers across the expanse of the tradition. (shrink)

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.

This paper has two aims. The first is critical: it argues that our mainstream epistemology of disagreement does not have the resources to explain what goes wrong in cases of group-level epistemic injustice. The second is positive: we argue that a functionalist account of group belief and group justification delivers (1) an account of the epistemic peerhood relation between groups that accommodates minority and oppressed groups, and (2), furthermore, diagnoses the epistemic injustice cases correctly as cases of unwarranted belief on (...) the part of the oppressor group. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

This contribution focuses on three aspects of Nietzsche’s art of living that have become relevant today especially in the United States (but not only here): first, regarding some facets of the economic-political conditions of any contemporary art of living; second, the widespread adoption of Nietzsche’s notion of self-overcoming and artistic self-design in entrepreneurship and individual’s lives; and third, how his notion of ‘incorporation’ has been further developed in current approaches to habit design. Eventually I will show via the example of (...) Anthony Robbins that some notions of Nietzsche’s art of living have become most popular outside of academia, namely in the commercial industries of what has been called ‘self-growth’ or ‘self-development.’. (shrink)

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...) is argued that, since ITL is truly intensional, it can be used to model ascriptions of propositional attitude without predicting logical omniscience. In order to illustrate this a small fragment of English is defined and provided with an ITL semantics. Secondly, it is shown that ITL models contain certain objects that can be identified with possible worlds. Essential elements of modal logic become available within classical type theory once the axiom of Extensionality is given up. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

There are two kinds of semantic theories of anaphora. Some, such as Heim’s File Change Semantics, Groenendijk and Stokhof’s Dynamic Predicate Logic, or Muskens’ Compositional DRT (CDRT), seem to require full coindexing of anaphora and their antecedents prior to interpretation. Others, such as Kamp’s Discourse Representation Theory (DRT), do not require this coindexing and seem to have an important advantage here. In this squib I will sketch a procedure that the first group of theories may help themselves to so that (...) they can interleave interpretation and coindexing in DRT’s way. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.

Standard approaches to proper names, based on Kripke's views, hold that the semantic values of expressions are (set-theoretic) functions from possible worlds to extensions and that names are rigid designators, i.e.\ that their values are \emph{constant} functions from worlds to entities. The difficulties with these approaches are well-known and in this paper we develop an alternative. Based on earlier work on a higher order logic that is \emph{truly intensional} in the sense that it does not validate the axiom scheme of (...) Extensionality, we develop a simple theory of names in which Kripke's intuitions concerning rigidity are accounted for, but the more unpalatable consequences of standard implementations of his theory are avoided. The logic uses Frege's distinction between sense and reference and while it accepts the rigidity of names it rejects the view that names have direct reference. Names have constant denotations across possible worlds, but the semantic value of a name is not determined by its denotation. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. The grammatical forms (...) of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative approach (...) would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

During the last years of his life, the mathematician Karl Menger worked on a biography of his father, the economist and founder of the Austrian School of Economics, Carl Menger. The younger Menger never finished the work. While working in the Menger collections at Duke University’s David M. Rubenstein Rare Book and Manuscript Library, we discovered draft chapters of the biography, a valuable source of information given that relatively little is known about Carl Menger’s life nearly a hundred years after (...) his death. The unfinished biography covers Carl Menger’s family background and his life through early 1889. In this article, we discuss the biography and the most valuable new insights it provides into Carl Menger’s life, including Carl Menger’s family, his childhood, his student years, his time working as a journalist and newspaper editor, his early scientific career, and his relationship with Crown Prince Rudolf. (shrink)

In this paper it is shown how a formal theory of interpretation in Montague’s style can be reconciled with a view on meaning as a social construct. We sketch a formal theory in which agents can have their own theory of interpretation and in which groups can have common theories of interpretation. Frege solved the problem how different persons can have access to the same proposition by placing the proposition in a Platonic realm, independent from all language users but accessible (...) to all of them. Here we explore the alternative of letting meaning be socially constructed. The meaning of a sentence is accessible to each member of a linguistic community because the way the sentence is to be interpreted is common knowledge among the members of that community. Misunderstandings can arise when the semantic knowledge of two or more individuals is not completely in sync. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

Politics, Philosophy & Economics, Volume 21, Issue 4, Page 347-371, November 2022. We sometimes have to choose between options that are seemingly incomparable insofar as they seem to be neither better than, worse than, nor equal to each other. This often happens when the available options are quite different from one another. For instance, consider a choice between prioritizing either criminal justice reform or healthcare reform as a public policy goal. Even after the relevant details of the goals and possible (...) reforms are filled in, it is plausible that neither goal is better than, worse than, nor equal to the other. Such seemingly incomparable options present a problem for rational choice since it is unclear how an agent might rationally choose between them. What we need are some principles to help govern rational choice when faced with seemingly incomparable options. I here present three such principles. While each principle is individually compelling, I show that they are jointly incompatible. I then argue that the correct response to this inconsistent triad is to reject the principle that rationally censures performing a sequence of choices one knows will result in a suboptimal outcome. The upshot is that when seeming incomparability is involved, an agent can money pump themselves without being less rational for it. (shrink)

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously has no (...) subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

Jennifer Lackey (2018) has developed an account of the primary form of group assertion, according to which groups assert when a suitably authorized spokesperson speaks for the group. In this paper I pose a challenge for Lackey's account, arguing that her account obscures the phenomenon of group silencing. This is because, in contrast to alternative approaches that view assertions (and speech acts generally) as social acts, Lackey's account implies that speakers can successfully assert regardless of how their utterances are taken (...) up by their audiences. What reflection on group silencing shows us, I argue, is that an adequate account of group assertion needs to find a place for audience uptake. (shrink)

According Philip Pettit, suitably organised groups not only possess ‘minds of their own’ but can also ‘make up their minds’ and 'speak for themselves'--where these two capacities enable them to perform as conversable subjects or 'persons'. In this paper I critically examine Pettit's case for group personhood. My first step is to reconstruct his account, explaining first how he understands the two capacities he considers central to personhood – the capacity to ‘make up one’s mind’, and the capacity to ‘speak (...) for oneself’ – before showing how he thinks these can be manifested in groups. With Pettit’s account duly reconstructed, I then turn to criticism, arguing that Pettit’s construal of making up one’s mind does not do proper justice to our first-personal self-understanding, nor to our characteristic interpersonal forms of engagement. This leads me, finally, to consider an alternative construal of ‘making up one’s mind’ and ‘speaking for oneself’ that is associated with the work of Richard Moran and whichargue, could usefully be exteextended to groups. (shrink)

In mathematical languages and in predicate logic coreferential terms can be interchanged in any sentence without altering the truth value of that sentence. Replacing 3 + 5 by 12 − 4 in any formula of arithmetic will never lead from truth to falsity or from falsity to truth. But natural languages are different in this respect. While in some contexts it is always allowed to interchange coreferential terms, other contexts do not admit this. An example of the first sort of (...) context is likes bananas: for any two coreferential noun phrases A and B the sentence A likes bananas is true if and only if B likes bananas is. A context that does not allow intersubstitution of coreferents is The Ancients knew that appears at dawn. If we fill the hole with the noun phrase the Morning Star we get the true (1a), while if we plug in the Evening Star we get the false (1b). Yet the Morning Star and the Evening Star both refer to the planet Venus and are thus coreferential. (shrink)

Der Titel des Bandes greift eine Frage auf, die im alltäglichen Umgang aufkam: die Frage nach analytischer Philosophie, vom Rücksitz eines Autos gestellt. Dieser Kontext bot den Anlass, eine Herangehensweise zu wählen, die bislang nicht üblich war: auszuprobieren, was eine Einbeziehung des Alltags und Umgangs erbringen könnte, ohne auf Komplexität zu verzichten. -/- Diese Öffnung hat zu überraschenden Ergebnissen geführt, die eine Weiterentwicklung der analytischen Philosophie erlauben, auch und in besonderer Weise theoretisch: Die Beachtung von umgangsprachlichem Verhalten kann dabei behilflich (...) sein, Sprache besser zu verstehen, als dies eine traditionelle wissenschaftsphilosophische Ausrichtung ermöglichen würde. -/- Die Beiträge zu diesem Band haben Kathrina Talmi, Reinhard Matern und Kai Pege eingebracht. (shrink)

Nietzsche and Shaw are famous and infamous: famous for their innovative and influential forms of writing, but infamous for their apparent support of totalitarianism and Nazism. However, while it has long been shown that Nietzsche’s provocative language about “breeding” and “masters and slaves” was intended to enhance culture through competition, it is still an open question how and when Shaw supported biological eugenics. Via Nietzsche’s “philosophical breeding,” this article presents a new reading of Shaw’s Man and Superman: on the one (...) hand, it contrasts Nietzsche’s philosophical Übermensch with Shaw’s eugenic Superman; and on the other hand, it connects Nietzsche’s agonistic enhancement of culture with Shaw’s philosophical reflections in “Don Juan in Hell.” In contrast to Tanner’s support of eugenic breeding in his Revolutionist’s Handbook, Shaw’s Don Juan remarkably resembles Nietzsche’s notion of “philosophical breeding” toward a more competent, truthful, and autonomous orientation that is needed in increasingly complex global politics. (shrink)

In this paper, I explore what gives collective testimony its epistemic credentials, through a critical discussion of three competing accounts of the epistemology of collective testimony. According to the first view, collective testimony inherits its epistemic credentials from the beliefs the testimony expresses— where this can be seen either as the beliefs of all or some of the group’s members, or as the beliefs of group itself. The second view denies any necessary connection to belief, claiming instead that the epistemic (...) credentials of collective testimony derive from the reliability or truth-conduciveness of the statement that expresses the testimony. Finally, the third view claims that the epistemic credentials of collective testimony derive from the fact that it involves undertaking a collective commitment to trustworthiness, which makes the group susceptible to rebuke and blame if its testimony is not trustworthy. I argue that this last account holds the most promise for preserving what is distinctive about testimonial knowledge while still underwriting a robust epistemology of collective testimony. (shrink)

Over the past few decades, Indigenous communities have successfully campaigned for greater inclusion in decision-making processes that directly affect their lands and livelihoods. As a result, two important participatory rights for Indigenous peoples have now been widely recognized: the right to consultation and the right to free, prior and informed consent (FPIC). Although these participatory rights are meant to empower the speech of these communities—to give them a proper say in the decisions that most affect them—we argue that the way (...) these rights have been implemented and interpreted sometimes has the opposite effect, of denying them a say or ‘silencing’ them. In support of this conclusion we draw on feminist speech act theory to identify practices of locutionary, illocutionary, and perlocutionary group silencing that arise in the context of consultation with Indigenous communities. (shrink)

This essay investigates, via the concepts of the philosophy of orientation, Annie Duke’s decision-making theory in "Thinking in Bets" and scrutinizes as to what extent one can universalize the 'orientation skill' of decision-making with regard to our everyday and professional life.

This article explains Blumenberg's reluctance to make humankind the saviour of nature, and the implied scepticism towards environmental politics.

Recent feminist philosophy of language has highlighted the ways that the speech of women can be unjustly impeded, because of the way their gender affects the uptake their speech receives. In this chapter, I explore how similar processes can undermine the speech of a different sort of speaker: Indigenous communities. This involves focusing on Indigeneity rather than gender as the salient social identity, and looking at the ways that group speech, rather than only individual speech, can be unjustly impeded. To (...) do this, I make use of the notion of ‘discursive injustice’ that has been developed by Quill Kukla, and, with reference to three case studies, show how discursive injustice can effectively derail the speech of Indigenous communities. (shrink)

For much of the first fifty years of its existence, analytic philosophy shunned discussions of normativity and ethics. Ethical statements were considered as pseudo-propositions, or as expressions of pro- or con-attitudes of minor theoretical significance. Nowadays, in contrast, prominent analytic philosophers pay close attention to normative problems. Here we focus our attention on the work of Searle, at the same time drawing out an important connection between Searle’s work and that of two other seminal figures in this development: H.L.A. Hart (...) and John Rawls. We show that all three thinkers tend to assume that there is but one type of normativity within the realm of social institutions – roughly, the sort of normativity that is involved in following the results of chess – and that they thereby neglect features that are of crucial significance for an adequate understanding of social reality. (shrink)

In a recent paper we have defined an analytic tableau calculus PL_16 for a functionally complete extension of Shramko and Wansing's logic based on the trilattice SIXTEEN_3. This calculus makes it possible to define syntactic entailment relations that capture central semantic relations of the logic---such as the relations |=_t, |=_f, and |=_i that each correspond to a lattice order in SIXTEEN_3; and |=, the intersection of |=_t and |=_f,. -/- It turns out that our method of characterising these semantic relations---as (...) intersections of auxiliary relations that can be captured with the help of a single calculus---lends itself well to proving interpolation. All entailment relations just mentioned have the interpolation property, not only when they are defined with respect to a functionally complete language, but also in a range of cases where less expressive languages are considered. For example, we will show that |=, when restricted to L_{tf}, the language originally considered by Shramko and Wansing, enjoys interpolation. This answers a question that was recently posed by M. Takano. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, we propose to (...) tackle both syntactic and semantic underspecification using descriptions. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector models, (...) the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its manifestation, (...) but also to a lambda term representing its semantics. (shrink)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where (...) ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)